Mourning the Passing of Professor Scarlett

Quality streak by Bob Scarlett

Miss Scarlett in the Ballroom with the Lead Piping

Temporal logics of knowledge are useful for reasoning about situations where the knowledge of an agent or component is important, and where change in this knowledge may occur over time. Here we use temporal logics of knowledge to reason about the game Cluedo. We show how to specify Cluedo using temporal logics of knowledge and prove statements about the knowledge of the players using a clausal ...

the effect of taftan pozzolan on the compressive strength of concrete in the environmental conditions of oman sea (chabahar port)

cement is an essential ingredient in the concrete buildings. for production of cement considerable amount of fossil fuel and electrical energy is consumed. on the other hand for generating one tone of portland cement, nearly one ton of carbon dioxide is released. it shows that 7 percent of the total released carbon dioxide in the world relates to the cement industry. considering ecological issu...

A Valediction: Forbidding Mourning

"A Valediction: Forbidding Mourning" shows many features associated with seventeenth-century metaphysical poetry in general, and with Donne's work in particular. Donne's contemporary, the English writer Izaak Walton, tells us the poem dates from 1611, when Donne, about to travel to France and Germany, wrote for his wife this valediction, or farewell speech. Like most poetry of Donne's time, it ...

[Loss and mourning].

The human being needs ties to grow and develop. When some of these ties are broken a period of great intensity arises that we call mourning. If the loss is radical and definitive, as in the case of death, all of the person's dimensions are affected (the physical, emotional, cognitive, behavioural, social and spiritual dimensions), to such an extent that the person can feel unable to overcome th...